Static Type Checking of Model Transformation Programs

Model transformation is seen as a promising approach to automate software development and verification, thus improving quality and reducing production costs significantly. However, errors of transformation programs can propagate into the generated artifacts complicating the detection of errors. The current paper proposes a static type checking approach for early detection of typing errors of partially typed transformation programs. The approach describes type safety as constraint satisfaction problems, and uses a dedicated back-annotation mechanism for error feedback

Role of Cytotoxicity Experiments in Pharmaceutical Development

Through the twentieth century, the road from synthetizing a new drug molecule to become an actual product got longer than ever before. Cytotoxicity assays are a quick way to assess a certain chemical compound’s effects on a given human cell line. The most well-known techniques are the MTT- and the LDH-assays. These tests are cheap, easy to execute, but not very precise and dependent on various environmental factors and also, they show no detail about the time-dependency of the toxic effect. Cytotoxicity experiments are a crucial part of a modern pharmaceutical development process. They are a cheap and safe way to get vital information about a new molecule’s biological attributes focusing on its basic tolerability. These studies not only save human lives and test animals, but they save the time and resources to be spared on a test molecule which is a complete failure having no in vitro safety

Solving the TTC 2011 Reengineering Case with VIATRA2

The current paper presents a solution of the Program Understanding: A Reengineering Case for the Transformation Tool Contest using the VIATRA2 model transformation tool.Comment: In Proceedings TTC 2011, arXiv:1111.440

Cyclodextrins in Drug Delivery Systems and Their Effects on Biological Barriers

L